Books by author Wang Yi

Showing 1 – 5 out of 5 results

1. 

   Model Checking, Synthesis, and Learning

   Wang Yi, Bernhard Steffen | Springer Nature Switzerland AG, 2021

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   67.04 €

   Sale 7 %

   You save 5.56 €

   Buy
2. 

   Dependable Software Engineering: Theories, Tools, and Applications

   Xuandong Li, Zhiming Liu, Wang Yi | Springer International Publishing AG, 2015

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   49.55 €

   Sale 7 %

   You save 4.17 €

   Buy
3. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Tiziana Margaria, Wang Yi | Springer, Berlin, 2001

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   102.95 €

   Sale 7 %

   You save 8.62 €

   Buy
4. 

   Formal Modeling and Analysis of Timed Systems

   Paul Pettersson, Wang Yi | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.67 €

   Sale 7 %

   You save 4.28 €

   Buy
5. 

   Trois traités sur le portrait

   Wang Yi, Jiang Ji, Ding Gao | BELLES LETTRES, 2025

   
   

   In stock at our supplier - Shipping in 14 - 17 days

   Language: French

   Binding: Paperback

   58.55 €

   Buy

You can choose among many payment option. Find out more